Search results for "VDP::Humaniora: 000::Filosofiske fag: 160::Logikk: 163"
showing 2 items of 2 documents
A decidable multi-modal logic of context
1997
We give a logic for formulas Á¡± Ã, with the informal reading ”à is true in the context described by Á”. These are interpreted as binary modalities, by quantification over an enumerable set of unary modalities c¡± Ã, meaning ”à is true in context c”. The logic allows arbitrary nesting of contexts. A corresponding axiomatic presentation is given, and proven to be decidable, sound, and complete. Previously, quantificational logic of context restricted the nesting of contexts, and was only known to be decidable in very special cases.
A uniform quantificational logic for algebraic notions ofcontext
2002
A quantificational framework of formal reasoning is proposed, which emphasises the pattern of entering and exiting context. Contexts are modelled by an algebraic structure which reflects the order and manner in which context is entered into and exited from. The equations of the algebra partitions context terms into equivalence classes. A formal semantics is defined, containing models that map equivalence classes of certain context terms to sets of first order structures. The corresponding Hilbert system incorporates the algebraic equations as axioms asserted in context. In this way a uniform logic for arbitrary algebras of context is obtained. Soundness and completeness are proved. In semig…